Beliefs:
  a(1).
